Basic science - PDFSEARCH.IO - Document Search Engine

Basic science
Results: 4014

#	Item
671	BRICS Basic Research in Computer Science BRICS RST. Amtoft: Partial Evaluation for Constraint-Based Program Analyses Partial Evaluation for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 05:03:18
672	BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Domain Theory for Concurrency Domain Theory for Concurrency Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-01-23 09:30:42
673	BRICS Basic Research in Computer Science BRICS RSB. Grobauer: Cost Recurrences for DML Programs Cost Recurrences for DML Programs Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-08-23 08:34:58
674	BRICS Basic Research in Computer Science BRICS RSLarsen et al.: Danfoss EKC Trial Project Deliverables Danfoss EKC Trial Project Deliverables Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-02-11 10:06:42
675	BRICS DS-04-5 B. Skjernaa: Exact Algorithms for Variants of Satisfiability and Colouring Problems BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-05 15:07:30 NP-complete problems Boolean satisfiability problem NP-complete Satisfiability Maximum cut Algorithm Graph coloring 2-satisfiability Theoretical computer science Mathematics Applied mathematics
676	BRICS Basic Research in Computer Science BRICS RS-03-5 Christensen et al.: Precise Analysis of String Expressions Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-02-07 05:37:32 Software engineering Context-free grammar Formal grammar Terminal and nonterminal symbols Regular grammar Production Regular expression Static single assignment form Parsing expression grammar Formal languages Combinatorics Mathematics
677	The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) Mucosal innate immunity involving system “Lectins of probiotics—Glycopolymers” against p Add to Reading List Source URL: www.formatex.info Language: English - Date: 2015-03-31 02:53:52 Digestive system Probiotics Lectins Innate immune system Candida Synbiotics Biology Microbiology Bacteriology
678	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
679	BRICS Basic Research in Computer Science BRICS NS-00-8 Møller & Schwartzbach: The XML Revolution Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-06 08:26:48 Technical communication HTML XML ISO standards Standard Generalized Markup Language XHTML XLink XSLT Document Object Model Computing Markup languages Web standards
680	Process studies on small spatial and temporal scales Atmospheric Aerosols TROPOS investigates several of the basic small-scale processes occurring with atmospheric aerosols. On the one hand, we determine the properties Add to Reading List Source URL: www.tropos.de Language: English Meteorology Atmosphere Aerosol Physical chemistry Geoengineering Planetary engineering Radiative forcing Mineral dust IMPACT Atmospheric sciences Aerosol science Particulates

UPDATE